Reliability models for computer systems: An overview including dataflow graphs

The reliability of a system is the probability that the system will perform its intended mission under given conditions. This paper provides an overview of the approaches to reliability modelling and identifies their strengths and weaknesses. The models discussed include structure models, simple stochastic models and decomposable stochastic models. Ignoring time-dependence, structure models give reliability as a function of the topological structure of the system. Simple stochastic models make direct use of the properties of underlying stochastic processes, while decomposable models consider more complex systems and analyse them through subsystems. Petri nets and dataflow graphs facilitate the analysis of complex systems by providing a convenient framework for reliability analysis.     

三维精细积分法地震正演及边界条件

 将任意差分精细积分法用于三维波动方程地震正演，关键在于如何消除数值计算中有限波场区域边界引起的边界反射。文中采用Berenger给出的电磁波完全匹配层吸收边界条件，推导出三维波动方程任意差分精细积分法地震正演的完全匹配层吸收边界条件计算公式，并给出了完全匹配层吸收边界条件算例。计算结果表明，此方法压制边界反射效果明显。三维波动方程地震正演模拟实例表明，完全匹配层吸收边界条件的任意差分精细积分法为复杂区地震波传播规律研究提供了一种实用的正演模拟工具     

F-X域粘弹性波动方程保幅偏移

提出了一种利用粘弹性声波波动方程进行偏移的新方法。其基本思路是,修改成像条件,使修改后的成像方程中考虑振幅补偿,然后利用粘弹性、单程波动方程在F-X域对震源和接收点波场进行延拓,进而完成散射、透射等补偿。理论数据处理和实际地震资料处理表明,该方法理论基础可靠,处理效果明显,能较好地解决实际地质问题。     

Psychological separation, attachment security, vocational self-concept crystallization, and career indecision: A structural equation analysis.

Structural equation modeling was used to test theoretically based models in which psychological separation and attachment security variables were related to career indecision and those relations were mediated through vocational self-concept crystallization. In contrast to previous studies, which have found either weak or no support for a relation between separation or attachment security variables and career indecision, results based on a sample of 350 college students indicated that some components of separation and attachment security did relate to career indecision in a theoretically supportable direction. Results also revealed that regardless of whether global or component career indecision measures were used, separation and attachment security effects on indecision were at least partially mediated through vocational self-concept crystallization. The strongest mediated relations were observed for the effects of attachment anxiety and maternal separation. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

动态规划模型在生产存贮中的应用

利用动态规划模型研究了生产管理中生产存贮问题的数学模型，给出了动态规划的最优性原理和动态规划基本方程，并给出了该数学模型求解的一个实例。     

Ideal-gas thermodynamic properties for natural-gas applications

Calculating caloric properties from a thermal equation of state requires information such as isobaric heat capacities in the ideal-gas state as a function of temperature. In this work, values for the parameters of thec _p ⁰ correlation proposed by Aly and Lee were newly determined for 21 pure gases which are compounds of natural gas mixtures. The values of the parameters were adjusted to selectedc _p ⁰ data calculated from spectroscopic data for temperatures ranging from 10 to 1000 K. The data sources used are discussed and compared with literature data deduced from theoretic models and caloric measurements. The parameters presented will be applied in a current GERG project for evaluating equations of state (e.g., the AGA 8 equation) for their suitability for calculating caloric properties.     

电子直线加速器中计入纵向与横向耦合效应的束流包络线方程组

一、引言从束流动力学的观点出发,对于粒子束在直线加速器中的运动,有两种主要的分析方法,也即粒子轨迹跟踪法及考察束流包络运动的方法。前者是通过解单粒子运动方程,跟踪大量的单粒子运动轨迹而后进行分析;后者则是通过解束流的包络线方程,根据束流包络的变化来进     

泊松方程数值解法的加速收敛法

用数值方法对泊松方程求解时，往往要对迭代的中间结果作适当的压缩处理，以加快收敛速度和避免溢出。本文提出一种单一指数因子的非线性压缩法。一维数值模拟结果表明，平衡态时不必进行压缩处理。而在非平衡态时，最佳指数压缩因子的大小与杂质浓度有关。参考本文给出的数值计算结果，根据给定器件的杂质浓度分布，选定一最佳指数压缩因子，可以使泊松方程的数值求解过程具有最快的收敛速度。     

纤维共晶生长界面前沿三维扩散场解析

修正Ｊａｃｋｓｏｎ和Ｈｕｎｔ关于在垂直生长方向截面上溶质扩散各向同性假设，求解三维Ｌａｐｏｌａｃｅ方程，获得纤维共晶生长界面前沿三维稳态扩散场，并证明Ｊａｃｋｓｏｎ和Ｈｕｎｔ的二维模型是实际生长的二维简化和一阶近似，并用丁二腈（ＳＣＮ）一梓脑（ＣＡＭ）纤维共晶系统计算生长界面前沿溶质分布。     

（yxl）φ切压电石英谐振器振动模式分析

从压电方程，动力学方程入手，分析了（ｙｘｌ）φ切石英谐振器的厚度切变振动，利用自由边界条件及串联与并联谐振时的电学条件，求出了并联谐振频率和串联振频率，讨论了实测频率与频率公式存在一定偏差的原因。